A Type-based Framework for Program Analysis
نویسندگان
چکیده
In this paper we present a general framework for type-based analyses of functional programs. Our framework is a generalisation of our earlier work on strictness analysis and was inspired by Burn's logical framework. The framework is parameterised by a set of types to represent properties and interpretations for constants in the language. To construct a new analysis, the user needs only to supply a model for the types (which properties they denote) and sound rules for the constants. We identify the local properties that must be proven to guarantee the correctness of a speciic analysis and algorithm. We illustrate the approach by recasting Hunt and Sand's binding time analysis in our framework. Furthermore we report on experimental results suggesting that our generic inference algorithm can provide the basis for an eecient program analyser.
منابع مشابه
Economic Analysis of Implementing Respirator Program or Ventilation System in a Manufacturing Environment
The techniques and methods of developing cost models for respirators are discussed. Models are developed and implemented in this study for nineteen types of respirators in two major classes (air-purifying and supplied-air) and one LEV system. One respirator model is selected for detailed discussion from among the twenty models. The technical cost method is used in constructing the cost models f...
متن کاملEvaluating Health in All Policies; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”
Health in All Policies (HiAP) has gained attention as a potential tool to address complex health and societal challenges at global, regional, national and subnational levels. In a recent article, Lawless et al propose an evaluation framework developed in the context of the South Australia HiAP initiative. Strategies, mediators, activities and impacts identified in the framework could potentiall...
متن کاملSTRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM
Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....
متن کاملFrom Mid-Level Policy Analysis to Macro-Level Political Economy; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”
This latest contribution by the evaluation research team at Flinders University/Southgate Institute on their multiyear study of South Australia’s Health in All Policies (HiAP) initiative is simultaneously frustrating, exemplary, and partial. It is frustrating because it does not yet reveal the extent to which the initiative achieved its stated outcomes; that awaits further papers. It is exempla...
متن کاملA qualitative analysis on family physician's program to identify the causes as well as challenges of the failure of program accomplishment
Background: The Family Physician Program, one of the most important efforts of the Iran health system to establish a referral system, was developed and implemented in several provinces, but it faced challenges due to several reasons that prevented the program's progress. So This study was conducted to analyze the family physician program to identify the causes and challenges of the program fail...
متن کاملDeveloping a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia
Background The importance of evaluating policy processes to achieve health equity is well recognised but such evaluation encounters methodological, theoretical and political challenges. This paper describes how a program theorybased evaluation framework can be developed and tested, using the example of an evaluation of the South Australian Health in All Policies (HiAP) initiative. Methods A f...
متن کامل